Feeds to Scour
SubscribedAll
Scoured 8974 posts in 259.5 ms
Codified Finite-state Machines for Role-playing
arxiv.org·3d
🔀Brzozowski Derivatives
Learnings from Creating a GUI Library
blog.s-schoener.com·18h·
Discuss: Lobsters, Hacker News
🐫Embedded OCaml
amirouche/seed: Adding `vau` with an immutable dynamic environment to Chez Scheme
github.com·2h·
Discuss: Hacker News
🐫OCaml
Adaptive Neuro-Symbolic Planning for smart agriculture microgrid orchestration in hybrid quantum-classical pipelines
dev.to·1d·
Discuss: DEV
🧠Automated Reasoning
Flow-Based Programming: Seminal Texts and Theoretical Foundations
repolex.ai·3d·
Discuss: Hacker News
🔀OCaml Multicore
Allium is an LLM-native language for sharpening intent alongside implementation
juxt.github.io·8h·
Discuss: Hacker News
⚙️PL Implementation
A Note on Flat Abstract Syntax Trees
gist.github.com·24m·
Discuss: Hacker News
🧩Parser Combinators
From Prediction to Compilation: A Manifesto for Intrinsically Reliable AI
news.ycombinator.com·1d·
Discuss: Hacker News
📐Hoare Logic
Towards Understanding What State Space Models Learn About Code
arxiv.org·13h·
Discuss: Hacker News
🔍CBMC
Data Modeling for the Agentic Era: Semantics, Speed, and Stewardship
rilldata.com·2h·
Discuss: Hacker News
⚙Operational Semantics
A Language For Agents
lucumr.pocoo.org·18h·
Discuss: Lobsters, Hacker News
🔤Language Design
An attempt at a First-Proof AI challenge
abhvio.us·1d·
Discuss: Hacker News
⏱️Computational Complexity
Testing 80 LLMs on spatial reasoning on grids
mihai.page·18h·
Discuss: Hacker News
🎮Verification Games
Your VCL App: 4x to 11x Faster Math Performance with Elements
blogs.remobjects.com·4h·
Discuss: Hacker News
🐫Embedded OCaml
Manufacturing QMS Software
samrian.com·3h·
Discuss: Hacker News
🔬Reverse Engineering
Circumstantial Complexity, LLMs and Large Scale Architecture
datagubbe.se·52m·
Discuss: Hacker News
⚙Operational Semantics
Using light-based computing to tackle complex challenges
queensu.ca·5h·
Discuss: Hacker News
🩹Self-Healing Systems
Rethinking Time in Computation – From Wall Clocks to State Transitions
d1gesto.blogspot.com·3d·
Discuss: Hacker News
⏰Timed Automata
Learning by hand is better than learning by AI
blog.engora.com·24m·
Discuss: Hacker News
📚Automata Learning
A Software Engineer’s Wish List for CS Research
laser-coder.net·39m·
Discuss: Hacker News
🔤DSLs

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help